A Convex Positivstellensatz
نویسنده
چکیده
We provide a specific representation of convex polynomials nonnegative on a convex (not necessarily compact) basic closed semi-algebraic set K ⊂ Rn. Namely, we prove that almost all of them belong to a specific subset of the quadratic module generated by the concave polynomials that define K. In particular, almost all nonnegative convex polynomials are sums of squares. Mathematics Subject Classification (2000). Primary 14P10; Secondary 11E25 12D15 90C25.
منابع مشابه
The convex Positivstellensatz in a free algebra
Given a monic linear pencil L in g variables, let PL = (PL(n))n∈N where PL(n) := { X ∈ Sn | L(X) 0 } , and Sn is the set of g-tuples of symmetric n × n matrices. Because L is a monic linear pencil, each PL(n) is convex with interior, and conversely it is known that convex bounded noncommutative semialgebraic sets with interior are all of the form PL. The main result of this paper establishes a ...
متن کاملNoncommutative Polynomials Nonnegative on a Variety Intersect a Convex Set
By a result of Helton and McCullough [HM12], open bounded convex free semialgebraic sets are exactly open (matricial) solution sets D◦ L of a linear matrix inequality (LMI) L(X) 0. This paper gives a precise algebraic certificate for a polynomial being nonnegative on a convex semialgebraic set intersect a variety, a so-called “Perfect” Positivstellensatz. For example, given a generic convex fre...
متن کاملOn the Generation of Positivstellensatz Witnesses in Degenerate Cases
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomials that are sums of squares of polynomials and satisfy some linear equality (Positivstellensatz ). This produces a witness for the desired property, from which it is reasonably easy to obtain a formal proof of the pro...
متن کاملContraction and Sum of Squares Analysis of Hcci Engines
By modulating engine valves to reinduct hot exhaust gas together with air and fuel, a clean and efficient form of autoignition can be created. Control of this combustion process, known as homogeneous charge compression ignition (HCCI), requires not only precise valve control but also a combustion control strategy that accounts for the cycle-to-cycle coupling through the exhaust. This paper outl...
متن کاملComplexity of Null-and Positivstellensatz Proofs Dedicated to N. A. Shanin on the Occasion of His 80th Anniversary
We introduce two versions of proof systems dealing with systems of inequalities: Positivstellensatz refutations and Positivstellensatz calculus. For both systems we prove the lower bounds on degrees and lengths of derivations for the example due to Lazard, Mora and Philip-pon. These bounds are sharp, as well as they are for the Nullstellen-satz refutations and for the polynomial calculus. The b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008